Función lógica

Mira otros diccionarios:

• Lógica programada — Logica programada es lo contrario de la lógica cableada, es decir, este tipo de diseño permite utilizar un circuito o un proyecto para muchas otras funciones con el simple cambio del software que incorpora. La lógica programada se basa en… …   Wikipedia Español

• Función booleana — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

• Lógica digital — Se ha sugerido que este artículo o sección sea fusionado en lógica binaria (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La lógica digital es un área de la matemática aplicada al campo de la… …   Wikipedia Español

• Lógica — (Del lat. logica < gr. logike.) ► sustantivo femenino 1 LÓGICA Ciencia que expone las leyes, argumentaciones y formas que dan validez y consistencia al conocimiento científico. 2 Capacidad para actuar y tomar decisiones de forma acertada: ■ si …   Enciclopedia Universal

• Lógica cableada — o Lógica de contactos, es una forma de realizar controles, en la que el tratamiento de datos (botonería, fines de carrera, sensores, presóstatos, etc.), se efectúa en conjunto con contactores o relés auxiliares, frecuentemente asociados a… …   Wikipedia Español

• Lógica no monótona — Saltar a navegación, búsqueda Para otros usos de este término, véase Lógica (desambiguación). La lógica clásica tiene un carácter monótono. Es decir, dado un conjunto de sentencias S1 del que se puede inferir C, al añadir otro conjunto de… …   Wikipedia Español

• Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

• Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …   Wikipedia Español

• Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

• Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …   Wikipedia Español